n (logic) In a categorical syllogism, the premise whose terms are the syllogism's major term and middle term.